1. Applications of categories in computer science :
Author: edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics), Congresses.,Computer science-- Mathematics, Congresses.
Classification :
QA76
.
9
.
M35
L57
1991
2. Biological drug products :
Author: edited by Wei Wang, Manmohan Singh.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Biological products.,Biologicals.,Drug development.
Classification :
QV241
.
E358
2014
3. Categorical logic and type theory
Author: / Bart Jacobs
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Type theory.,Categories (Mathematics)
Classification :
QA9
,.
J27
,
1999
4. Categorical logic and type theory
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Type theory. ; Categories (Mathematics) ;
5. Categorical logic and type theory
Author: Jacobs, Bart
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Type theory,، Categories )Mathematics(
Classification :
QA
9
.
J22
6. Category theory and computer science :
Author: Eugenio Moggi, Giuseppe Rosolini (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics), Congresses.,Computer science-- Mathematics, Congresses.,Categorieën (wiskunde),Categories (Mathematics),Catégories (mathématiques)-- Congrès.,Computer science-- Mathematics.,Computers.,Informatik,Informatique-- Mathématiques-- Congrès.,Kategorientheorie,Kongress,Theoretische Informatik
Classification :
QA76
.
9
.
M35
C38
1997
7. Christianity in late antiquity, 300-450 C.E.
Author: Bart D. Ehrman, Andrew S. Jacobs
Library: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
Subject: Christian literature, Early
Classification :
BR
,
63
,.
C47
,
2004
8. Data protection in a profiled world
Author: Conference on Privacy and Data Protection)2nd :9002 :Brussels, Belgium(, Serge Gutwirth, Yves Poullet, Paul De Hert )editors(
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Data protection, Law and legislation, Congresses,، Privacy, Right of, Congresses
Classification :
K
3264
.
C65
C66
2009
9. Discourse, of course :
Author: edited by Jan Renkema.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Discourse analysis, Textbooks.,Discourse analysis.,Discourse analysis.,LANGUAGE ARTS & DISCIPLINES-- Vocabulary.,Onderzoek.,REFERENCE.
Classification :
P302
.
D54884
2009eb
10. Formal Methods for Open Object-based Distributed Systems V Ifip Tc6
Author: Wg6.1 Fifth International Conference on Formal Methods for Open Object-based Distributed Systems (Fmoods 2002) March 20-22, 2002, Enschede.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
TK7895
.
M5
W445
2013
11. Genocide, war crimes, and the West :
Author: edited by Adam Jones
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Genocide, Case studies,Geopolitics, Case studies,Human rights, Case studies,Imperialism, Case studies,Racism, Case studies,War crimes, Case studies,Europe, Foreign relations, Case studies,United States, Foreign relations, Case studies, 0, 0
12. Innovating strategy process /
Author: edited by Steven W. Floyd [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Management.,Strategic planning.,Innovationsmanagement.,Innovationsmanagement.,Management.,Prozessmanagement.,Strategic planning.,Strategisches Management.,Strategisches Management.
Classification :
HD30
.
28
.
I538
2005
13. Introduction to Coalgebra
Author: \ Bart Jacobs
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Associative algebras,Universal enveloping algebras.
Classification :
E-Book
,
14. Legionella :
Author: edited by Nicholas Cianciotto.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
RC152
.
7
E358
2007
15. Policies and research in identity management :
Author: Simone Fischer-Hübner, Elisabeth de Leeuw, Chris Mitchell (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks -- Access control -- Congresses.,Computer networks -- Security measures -- Congresses.,Data encryption (Computer science) -- Congresses.
Classification :
QA76
.
9
.
A25
S566
2013
16. Regulation and economics
Author: / edited by Roger van den Bergh, Alessio M. Pacces
Library: Library of Islamic Parliament (Tehran)
Subject:
Classification :
K3840
.
R4354
2012
17. Technology In Transition: A. D. 300- 650
Author: / Edited By Luke Lavan, Enrico Zanini And Alexander Sarantis : With The Assistance of The ine Jacobs, Dirk Booms, Bart De Graeve
Library: Library of Islamic Encyclopedia Foundation (Tehran)
Subject: Technology -- Mediterranean Region -- History., Mediterranean Region -- Antiquities, Mediterranean Region -- History,تکنولوژی -- مدیترانه، نواحی -- تاریخ
Classification :
T16
.
T43
18. Zeolite synthesis :
Author: Mario L. Occelli, editor, Harry E. Robson, editor
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Zeolites, Congresses,Zeolites, Congresses
Classification :
TP245
.
S5
Z387
1989
